1. Algebraic and Logic Programming :
المؤلف: edited by Michael Hanus, Mario Rodríguez-Artalejo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
2. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
المؤلف: Michael Hanus, Mario Rodriguez Artalejo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
3. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
المؤلف: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
4. Declarative Programming and Knowledge Management
المؤلف: / Michael Hanus, Ricardo Rocha
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
6. Practical Aspects of Declarative Languages: 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
المؤلف: \ Michael Hanus
المکتبة: (طهران)
موضوع: زبان های برنامه نویسی کامپیوتر -- معنی شناسی-- کنگره ها
رده :
QA
76
.
7
.
P32
7. Practical aspects of declarative languages
المؤلف: / Michael Hanus (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics--Congresses
رده :
QA
,
76
.
7
,.
P32
,
2007
8. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
المؤلف: Michael Hanus )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354
